8

Reversible parallel computation: An evolving space-model

Year:
1990
Language:
english
File:
PDF, 3.38 MB
english, 1990
9

General recursive functions in a very simply interpretable typed λ-calculus

Year:
1993
Language:
english
File:
PDF, 526 KB
english, 1993